Monitoring and Debugging the Quality of Results in Approximate Programs Michael Ringenburg Adrian Sampson University of Washington {miker,asampson}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Software engineering
• Quality of results
• Debugging
• Profiling
• Software bug
• Algorithm
• Lookup table
• Memoization
• Exception handling
• Computing
• Computer programming
• Software optimization

Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher

Source URL: www.eecs.northwestern.edu

• Functional languages
• Digital signal processing
• Parallel computing
• Application programming interfaces
• Racket
• Fast Fourier transform
• Futures and promises
• Cooley–Tukey FFT algorithm
• Append
• Computing
• Computer programming
• Software engineering

Randomized Algorithms for Counting, Rare-Events Estimation and Optimization Reuven Rubinstein Faculty of Industrial Engineering and Technion, Israel Institute of Technology, Haifa , Israel

Source URL: www.eurandom.tue.nl

• Monte Carlo methods
• Reuven Rubinstein
• Year of birth missing
• Markov chain Monte Carlo
• Mathematical optimization
• Algorithm
• Randomized algorithm
• Combinatorics
• Combinatorial optimization
• Applied mathematics
• Theoretical computer science
• Mathematics

Protein Engineering vol.12 no.5 pp.387–394, 1999 PSIC: profile extraction from sequence alignments with position-specific counts of independent observations Shamil R.Sunyaev1,2,3, Frank Eisenhaber1,2,4,

Source URL: genetics.bwh.harvard.edu

• Computational science
• Sequence alignment
• BLAST
• Substitution matrix
• Multiple sequence alignment
• STING
• Smith–Waterman algorithm
• Threading
• Amino acid
• Bioinformatics
• Science
• Computational phylogenetics

Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK

Source URL: www.cognitionresearch.org

• Computing
• Parsing
• Formal grammar
• Syntax
• Pattern matching
• Sequence alignment
• CYK algorithm
• Formal languages
• Software engineering
• Computer programming

A simple algorithm to study phylogeographies & speciation patterns in space Philippe Desjardins-Proulx,1, 2, ∗ Timoth´ee Poisot,2 and Dominique Gravel2 1 College of Engineering, University of Illinois at Chicago, USA.

Source URL: timotheepoisot.fr

Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu

Source URL: gcc.cybermirror.org

• Algorithm
• Mathematical logic
• Theoretical computer science
• GNU Compiler Collection
• C
• Compiler optimization
• Software
• Computing
• Computer programming

Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu

Source URL: www.spacios.eu

• Computer science
• Applied mathematics
• Extended finite-state machine
• Theory of computation
• Algorithm
• Assignment
• Models of computation
• Software engineering
• Formal methods

Didacticiel - Etudes de cas R.R. Subject One of the main advantages of decision trees is the possibility, for the users, to interactively

Source URL: eric.univ-lyon2.fr

• Attribute grammar
• HTML element
• Software engineering
• Data mining
• Computer programming
• Decision trees
• Computing
• C4.5 algorithm

May 14, Presburger Sets and Relations: from High-level Modeling to Low-level Implementation

Source URL: labexcompilation.ens-lyon.fr

• Computer programming
• C
• Cross-platform software
• Array data structure
• Algorithm
• Frameworks supporting the polyhedral model
• C syntax
• Computing
• Software engineering
• Procedural programming languages